$\forall$$i$:Id, $M$:MsgA. (@$i$ $M$) $\in$ Dsys